61. Intuitionistic logic, model theory and forcing
پدیدآورنده : Fitting, Melvin
کتابخانه: (طهران)
موضوع : ، Model theory,، Axiomatic set theory,، Forcing )Model theory(
رده :
QA
9
.
F56
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
62. Langages, ensembles, theories axiomatiques
پدیدآورنده : Hervieux, Maurice
کتابخانه: (طهران)
موضوع : ، Axiomatic set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
H44
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
63. Logic, induction and sets
پدیدآورنده : Forster, Thomas E., 8491-
کتابخانه: (طهران)
موضوع : ، Axiomatic set theory
رده :
QA
248
.
F67L6
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
64. Logic, induction and sets
پدیدآورنده : Forster, T. E.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Axiomatic set theory
رده :
QA
248
.
F69
2003
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
65. Models of ZF-set theory
پدیدآورنده : Felgner, Ulrich
کتابخانه: (طهران)
موضوع : ، Axiomatic set theory
رده :
QA
9
.
F4
1971
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
66. Models of ZF-set theory
پدیدآورنده : Felgner, Ulrich
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Axiomatic set theory
رده :
QA
3
.
L28
no
.
223
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
67. Models of ZF-set theory
پدیدآورنده : Felgner, Ulrich
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Axiomatic set theory
رده :
QA
3
.
L28
no
.
223
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
68. Non-well-founded sets
پدیدآورنده : Aczel, Peter
کتابخانه: (طهران)
موضوع : ، Axiomatic set theory
رده :
QA
248
.
A28
1988
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
69. Non-well-founded sets
پدیدآورنده : Aczel, Peter
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Axiomatic set theory
رده :
QA248
.
A28
1988
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
70. Non-well-founded sets
پدیدآورنده : Aczel, Peter, 1491-
کتابخانه: (طهران)
موضوع : ، Axiomatic set theory
رده :
P
25
.
C28
No
.
14
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
71. Non-well-founded sets
پدیدآورنده : / Peter Aczel
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Axiomatic set theory
رده :
E-BOOK
![](/design/images/bookmore.png)
72. Proper and improper forcing
پدیدآورنده : Shelah, Saharon
کتابخانه: (طهران)
موضوع : ، Forcing )Model theory(,، Axiomatic set theory
رده :
QA
9
.
7
.
S54
1998
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
73. Proper forcing
پدیدآورنده : Shelah, Saharon.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Forcing )Model theory(,، Axiomatic set theory
رده :
QA
1
.
L4
v
.
940
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
74. Reduction of the Pareto set : an axiomatic approach
پدیدآورنده : Noghin, Vladimir D
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : ، Axiomatic set theory,، Multiple criteria decision making,، Quantum computing
رده :
QA
248
.
R47
2018
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
75. Set theory
پدیدآورنده : Kenneth Kunen
موضوع : Axiomatic set theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
76. Set theory: an introduction to independence proofs
پدیدآورنده : Kenneth Kunen
موضوع : Axiomatic set theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
77. Set theory: an introduction to independence proofs
پدیدآورنده : Kunen, Kenneth
کتابخانه: (طهران)
موضوع : ، Axiomatic set theory,، Set theory
رده :
QA
248
.
K75
1980
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
78. Set theory : an introduction to independence proofs
پدیدآورنده : Kunen, Kenneth
کتابخانه: (طهران)
موضوع : ، Axiomatic set theory
رده :
QA
248
.
K75
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
79. Set theory : an introduction to independence proofs
پدیدآورنده : Kunen, Kenneth.
کتابخانه: المكتبة المركزية ومركز المعلومات (خراسان رضوی)
موضوع : ، Axiomatic set theory
رده :
QA
248
.
K75
1980
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
80. Set theory and its logic
پدیدآورنده : Quine, W. V.)Willard Van Orman(
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Axiomatic set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
Q5
1969
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)